Sfoglia per Relatore  MAIETTI, MARIA EMILIA

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 7 a 14 di 14
Tipologia Anno Titolo Titolo inglese Autore File
Lauree triennali 2021 Non conservatività dell'interpretazione di Curry-Howard-Martin-Lof della logica intuizionista con uguaglianza in teoria dei tipi - Andrigo, Giovanna
Lauree magistrali 2017 On Logical connectives and quantifiers as adjoint functors - Mengato, Stefano
Lauree triennali 2021 Primi passi in analisi costruttiva: analogie e differenze con l'approccio classico First steps in constructive analysis: analogies and differencies with the classical approach ZOCCO, GIOVANNI
Lauree magistrali 2023 RANEY EXTENSIONS AS POINTFREE T_0 SPACES RANEY EXTENSIONS AS POINTFREE T_0 SPACES SUAREZ, ANNA LAURA
Lauree triennali 2021 Rappresentazione categoriale della quantificazione esistenziale e sua costruzione libera Categorical representation of existential quantification and its free costruction FERRO, CARLO
Lauree triennali 2020 Semantica categoriale delle logiche intuizionista e classica. Categorical semantics of intuitionistic and classical logics FERIGO, RAVI
Lauree magistrali 2021 Strutture implicative Implicative Structures AL NABER, AMIR
Lauree triennali 2022 Varianti della traduzione della doppia negazione di Goedel-Gentzen Variants of Goedel-Gentzen's double negation translation PIANTAVIGNA, ESTER
Mostrati risultati da 7 a 14 di 14
Legenda icone

  •  file ad accesso aperto
  •  file ad accesso riservato
  •  file sotto embargo
  •  nessun file disponibile